21. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
Author: Pieter Adriaans, Henning Fernau, Menno van Zaanen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2484


22. Grammatical inference and applications : second International colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
Author: Rafael C. Carrasco, Jose Oncina, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
862


23. Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
Author: Vasant Honavar, Giora Slutzki )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1433


24. Grammatical inference: theoretical results and application
Author: / ICGI 2010, Valencia, Spain, September 13 - 16, 2010. Josae M. Sempere
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
E-BOOK

25. Introduction to formal philosophy /
Author: Sven Ove Hansson, Vincent F. Hendricks, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
Classification :
B808
.
5
.
I58
2018


26. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018


27. Logic Programming and Nonmonotonic Reasoning :
Author: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

28. Logic-based methods for optimization :
Author: John Hooker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linear programming.,Logic, Symbolic and mathematical.,Mathematical optimization.
Classification :
T57
.
74
J646
2000


29. Many-Valued Logics :
Author: by Leonard Bolc, Piotr Borowik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
45
B954
1992


30. Mathematical Foundations of Computer Science 1975 :
Author: by J. Becvar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
Classification :
QA267
.
5
.
S4
B953
1975


31. Mathematics and Plausible reasoning
Author: PolYa, George
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
9
.
P57


32. Mathematics and plausible reasoning
Author: / by G. Polya-Princeton
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Philosophy,Logic, Symbolic and mathematical
Classification :
510
.
1
P781


33. Mathematics and plausible reasoning
Author: Polya,George,
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
9
.
P57
1968


34. Mathematics and plausible reasoning
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Philosophy,Logic, Symbolic and mathematical
Classification :
QA
9
.
P57
1954


35. Mathematics and plausible reasoning princeton
Author: / Gyorgy polya
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Mathematics-philosophy,Logic,Symbolic and mathematical
Classification :
QA
9
.
P57


36. Metamathematics of Fuzzy Logic
Author: by Petr Hájek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

37. Optimization methods for logical inference
Author: Chandru, Vijay
Library: (Semnan)
Subject: ، Combinatorial optimization,، Logic, Symbolic and mathematical
Classification :
QA
402
.
5
.
C4O6


38. Optimization methods for logical inference
Author: Chandru, Vijay
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Combinatorial optimization,، Logic, Symbolic and mathematical
Classification :
QA
402
.
5
.
C447
1999


39. Optimization methods for logical inference
Author: Vijay Chandru, John Hooker
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatorial optimization,، Logic, Symbolic and mathematical
Classification :
QA
402
.
5
.
C45


40. Optimization methods for logical inference
Author: Chandru, Vijay
Library: Central Library and Documentation Center (Semnan)
Subject: ، Combinatorial optimization,، Logic, Symbolic and mathematical
Classification :
QA
402
.
5
.
C447
1999

